Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
141	LOGIC AND TERROR 1 A.R.D.Mathias Add to Reading List Source URL: www.dpmms.cam.ac.uk Language: English - Date: 2005-02-10 09:24:21 Non-classical logic Mathematical logic Marxist theory Dialectic Term logic Law of excluded middle Intuitionistic logic Georg Wilhelm Friedrich Hegel Classical logic Logic Philosophy Philosophical logic
142	Innovations in Computational Type Theory using Nuprl S. F. Allen, M. Bickford, R. L. Constable, R. Eaton, C. Kreitz, L. Lorigo, E. Moran Department of Computer Science, Cornell-University, Ithaca, NY[removed] {sfa,mark Add to Reading List Source URL: www.nuprl.org Language: English - Date: 2005-06-21 10:54:34 Type theory Logic in computer science Dependently typed programming Computability theory Intuitionistic type theory Curry–Howard correspondence Natural deduction Lambda calculus Combinatory logic Mathematics Logic Mathematical logic
143	Logic and Philosophy in the Twenty-First Century Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2010-12-02 05:16:29 Philosophical logic Model theory Logic in computer science Intuitionistic logic First-order logic Intuitionism Entailment Modal logic Paraconsistent logic Logic Mathematical logic Non-classical logic
144	The Geometry of Negation Achille C. Varzi Department of Philosophy, Columbia University, New York, New York (USA) Massimo Warglien Department of Business Economics, Università Ca’ Foscari, Venice (Italy) Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2003-04-04 09:59:15 Semantics Boolean algebra Propositional calculus Logical connectives Mathematical constructivism Negation Many-valued logic Truth table Intuitionistic logic Logic Mathematics Mathematical logic
145	From Classical to Intuitionistic Probability Brian Weatherson Abstract We generalize the Kolmogorov axioms for probability calculus to obtain conditions defining, for any given logic, a class of probability functions rel Add to Reading List Source URL: brian.weatherson.org Language: English - Date: 2010-04-14 09:32:33 Philosophy of mathematics Epistemology Mathematical constructivism Bayesian statistics Non-classical logic Intuitionistic logic Bayesian probability Probability Intuitionism Logic Science Mathematics
146	Special Topics in Logic: Non-Classical Logics (W4137) Fall 2011 Achille C. Varzi • 713 Philosophy • tel[removed] • email: av72 • url: ~av72 • office hrs: Th 2–4 Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2013-12-12 23:16:02 Paraconsistent logic Classical logic Many-valued logic Intuitionistic logic Law of noncontradiction Principle of bivalence Deviant logic Walter Carnielli Logic Mathematical logic Non-classical logic
147	pluralism and proofs Greg Restall∗ Philosophy Department, The University of Melbourne [removed] August 2011 Add to Reading List Source URL: consequently.org Language: English Philosophical logic Mathematical constructivism Propositional calculus Proof theory Intuitionistic logic Paraconsistent logic Intuitionism Negation Sequent calculus Logic Mathematical logic Non-classical logic
148	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
149	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
150	doi:[removed]j.jal[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:38:00 Non-classical logic Philosophical logic Model theory Mathematical constructivism Modal logic Kripke semantics First-order logic Intuitionistic logic Closure operator Logic Mathematical logic Mathematics

UPDATE